/*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */



struct cap {
    int words[2];
};

struct finaliseCap_ret {
    struct cap remainder;
    short irq;
};
